Turing Award laureates - PDFSEARCH.IO - Document Search Engine

Turing Award laureates
Results: 153

#	Item
111	An Interview with CHARLES ANTONY RICHARD HOARE OH 357 Add to Reading List Source URL: conservancy.umn.edu Language: English - Date: 2012-02-20 16:38:26 Procedural programming languages Fellows of the British Computer Society Turing Award laureates Knights Bachelor Tony Hoare Assertion ALGOL 68 Microsoft Research Go Computing Software engineering Computer programming
112	Akasaka Twin Tower East, 13th Floor, [removed]Akasaka, Minato-ku, Tokyo, [removed], JAPAN Tel : +[removed]Fax : +[removed] Add to Reading List Source URL: www.japanprize.jp Language: English - Date: 2013-02-03 21:53:50 Turing Award laureates Immunologists Unix Tadamitsu Kishimoto Multics Dennis Ritchie Ken Thompson Operating system Bell Labs Computing System software Computer architecture
113	13th Knuth Prize: Call for Nominations David S. Johnson The Donald E. Knuth Prize for outstanding contributions to the foundations of computer science Add to Reading List Source URL: www.sigact.org Language: English - Date: 2012-12-15 11:00:35 Academia Theoretical computer science Turing Award laureates Donald Knuth Knuth Prize ACM SIGACT Symposium on Theory of Computing Guggenheim Fellows Ravi Kannan Computer science Knuth Prize laureates Science
114	25th Anniversary Issue A (Very) Add to Reading List Source URL: aitopics.net Language: English - Date: 2012-07-08 01:13:13 Turing Award laureates Philosophy of artificial intelligence Computational neuroscience Lisp programming language Association for the Advancement of Artificial Intelligence Applications of artificial intelligence Cognitive science Dendral Marvin Minsky Science Artificial intelligence Knowledge
115	[removed]CURRICULUM VITAE Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-07-26 13:48:43 Computer science Edmund M. Clarke Carnegie Mellon School of Computer Science Randal Bryant Turing Award Formal verification Allen Newell Model checking Carnegie Mellon Silicon Valley Turing Award laureates Carnegie Mellon University Science
116	Richard E. Stearns Distinguished Professor Emeritus University at Albany Add to Reading List Source URL: www.cs.albany.edu Language: English - Date: 2011-06-23 15:58:24 Science Richard Stearns Theoretical computer science Computability theory Juris Hartmanis Turing Award Computational complexity theory Turing machine Turing Award laureates Computer science Alan Turing
117	John Clifford Shaw Papers, [removed]OVERVIEW OF THE COLLECTION Add to Reading List Source URL: sirismm.si.edu Language: English - Date: 2008-12-19 12:21:01 Turing Award laureates Information Processing Language JOSS JOHNNIAC General Problem Solver Logic Theorist Allen Newell Herbert Simon Keith Uncapher Artificial intelligence Science Computing
118	Algorithms and Data Structures © N. Wirth[removed]Oberon version: August 2004). Add to Reading List Source URL: www.inf.ethz.ch Language: English - Date: 2012-02-22 05:24:51 Theoretical computer science Mathematical logic Procedural programming languages Programming idioms Turing Award laureates Pascal Algorithm Pointer Edsger W. Dijkstra Computing Software engineering Computer programming
119	1 A Brief History of Software Engineering Add to Reading List Source URL: www.inf.ethz.ch Language: English - Date: 2008-09-22 09:09:38 Procedural programming languages Turing Award laureates Programming paradigms Edsger W. Dijkstra Programming language Software development methodology Pascal Structured programming Actor model Computing Software engineering Programming language theory
120	ABSTRACT A comparison between the development of cognitive science in France and the USA enables us to analyze some national differences linked to specific connections between the scientific, military, economic and political worlds. The Add to Reading List Source URL: www.sagepub.com Language: English - Date: 2008-07-08 08:16:01 Systems theory Turing Award laureates Cognitive science Cybernetics Cognition Cognitive Science Society Psychology Intelligence Allen Newell Science Knowledge Ethology

UPDATE